fixed point type

См. также в других словарях:

• Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions …   Wikipedia

• Fixed point combinator — A fixed point combinator (or fixed point operator) is a higher order function that computes a fixed point of other functions. This operation is relevant in programming language theory because it allows the implementation of recursion in the form… …   Wikipedia

• Fixed-point arithmetic — In computing, a fixed point number representation is a real data type for a number that has a fixed number of digits after (and sometimes also before) the radix point ( e.g. , after the decimal point . in English decimal notation). Fixed point… …   Wikipedia

• fixed-point theorem — ▪ mathematics       any of various theorems in mathematics dealing with a transformation of the points of a set into points of the same set where it can be proved that at least one point remains fixed. For example, if each real number is squared …   Universalium

• Brouwer fixed point theorem — In mathematics, the Brouwer fixed point theorem is an important fixed point theorem that applies to finite dimensional spaces and which forms the basis for several general fixed point theorems. It is named after Dutch mathematician L. E. J.… …   Wikipedia

• Atiyah–Bott fixed-point theorem — In mathematics, the Atiyah–Bott fixed point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed point theorem for smooth manifolds M , which uses an elliptic complex on M . This is a system of… …   Wikipedia

• point — Synonyms and related words: L, Thule, Ultima Thule, abode, accent, accentuate, ace, acerbity, acidity, acme, acridity, acrimony, aculeate, aculeus, acuminate, acumination, address, advance guard, advantage, affective meaning, aim, aim at, airhead …   Moby Thesaurus

• Fixed income attribution — refers to the process of measuring returns generated by various sources of risk in a fixed income portfolio, particularly when multiple sources of return are active at the same time. For example, the risks affecting the return of a bond portfolio …   Wikipedia

• Fixed-income attribution — refers to the process of measuring returns generated by various sources of risk in a fixed income portfolio, particularly when multiple sources of return are active at the same time. For example, the risks affecting the return of a bond portfolio …   Wikipedia

• Fixed-mobile convergence — (FMC) is a change in telecommunications that removes differences between fixed and mobile networks. In the 2004 press release announcing its formation, the Fixed Mobile Convergence Alliance said:[1] Fixed Mobile Convergence is a transition point… …   Wikipedia

• Point system of type — Point Point, n. [F. point, and probably also pointe, L. punctum, puncta, fr. pungere, punctum, to prick. See {Pungent}, and cf. {Puncto}, {Puncture}.] 1. That which pricks or pierces; the sharp end of anything, esp. the sharp end of a piercing… …   The Collaborative International Dictionary of English